1. The resolution calculus
Author: Alexander Leitsch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Auflösungsprinzip,Automatic theorem proving.,Automatisches Beweisverfahren
Classification :
QA76
.
9
.
A96
A449
1997
